// <copyright file="ShotTest.cs" company="Open Source"></copyright>

using System;
using _22yards.Core;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Validation;
using Microsoft.VisualStudio.TestTools.UnitTesting;

namespace _22yards.Core
{
    [TestClass]
    [PexClass(typeof(Shot))]
    [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)]
    [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))]
    public partial class ShotTest
    {
        [PexMethod]
        public void Reset(Shot target)
        {
            target.Reset();
            // TODO: add assertions to method ShotTest.Reset(Shot)
        }
    }
}
